منابع مشابه
Un algoritmo para calcular #2SAT
Resumen. El problema de conteo de modelos en fórmulas booleanas pertenece a la clase #P-completo. Por tal motivo, no existe algoritmo qué, de forma eficiente, calcule el número exacto de modelos de una fórmula booleana. En este art́ıculo, se presenta una implementación para contar el número de modelos de una fórmula booleana basada en su representación mediante grafo. Aśı mismo se mostrará que, ...
متن کاملTelemedicina: Un Desafío Para América Latina.
La telemedicina es una tendencia creciente en la prestación de los servicios médicos. Aunque la eficacia de esta práctica no ha estado bien establecida, es probable que los países en desarrollo compartirán este nuevo paradigma con los desarrollados. Los defensores de la telemedicina en América Latina sostienen que será una herramienta útil para reducir las disparidades y mejorar la accesibilida...
متن کاملAbcès para-pharyngé survenant chez un diabétique
Les abcès para-pharyngés surviennent surtout chez les immunodeprimés notamment les diabétiques. Ce sont des infections préstyliennes dont l'origine est le plus souvent dentaire. La TDM est systématique et urgente vu l'intérêt diagnostique, topographique et thérapeutique. Patient âgé de 52 ans diabétique de type II a consulté pour une odynophagie et un torticolis évoluant depuis 3 jours. L'exame...
متن کاملUn Enfoque Integrado para la Desambiguación
Resumen: En este art́ıculo presentamos una extensión de una arquitectura integrada diseñada originalmente para Semantic Parsing a WSD. El marco propuesto permitirá que ambas tareas puedan colaborar y llevarse a cabo simultáneamente. Se ha probado la validez y robustez de esta arquitectura contra una tarea de WSD bien definida (el SENSEVAL-II English Lexical Sample) aplicando modelos sintácticose...
متن کاملUN-LEND: Un Lenguaje para la Especificación de Modelos de UN-MetaCASE
CASE tools have contributed to model building for representing several aspects of a problem, for converting it in source code of a software piece; however, these tools have limited capacity in the amount of type models they can elaborate. Some years ago researchers have been developing MetaCASE tools, e.g. AToM and DOME. Models in this kind of tools aren’t defined; instead of, models are built ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Signa: Revista de la Asociación Española de Semiótica
سال: 2009
ISSN: 1133-3634
DOI: 10.5944/signa.vol18.2009.6200